The Square Root Of 17